Ich darf Sie begrüßen zur insgesamt achten Doppelstunde unserer Veranstaltung Künstliche

Intelligenz Juristisches Entscheiden von der juristischen Methodenlehre zur Computerwissenschaft

Legal Tech und wir haben heute eben die achte von insgesamt neun Doppelstunden die vor den

drei Gastreferaten stattfinden und wir haben das letzte mal eben untersucht was Kevin Ashley,

einer der ganz großen Legal Tech Szene in den USA für Konzepte in seinem Buch AI in Legal

Analytics von 2017 vorgestellt hat, haben uns überlegt was gute Legal Tech Ausbildung

beinhalten müsste. Sie erinnern sich Wissenschaftstheorie, Rechtstheorie, Methodenlehre,

die Rechtsdogmatik natürlich, die Prozesse, die Dienstleistungsprozesse, die Praxis also und

eben aus der technischen Seite wäre es natürlich sinnvoll sich mit Datenbanken zu befassen, mit

Mathematik, Statistik, da müssen wir noch nachbessern, da haben wir in dieser Veranstaltung

noch zu wenig dazu gesagt, aber eben man sollte die handwerkliche Kunst des Annotierens und

Formalisierens verstehen und man sollte sich mit Logik befassen und dazu haben wir durchaus

was beigetragen und damit schließen wir sozusagen auch den Legal Tech Teil an der Stelle zunächst

ab und kommen zum dritten Block dieser Veranstaltung, nämlich jetzt zu den

strukturwissenschaftlichen Fragen und heute versuchen wir etwas nahezu unmögliches, nämlich

die einfache Erläuterung der Grundlagen der Logik, das wäre also noch nicht so dramatisch,

aber wir versuchen durchaus viele verschiedene Dinge heute zu besprechen, die Aussagenlogik,

Prädikatenlogik, Erster Stufe, Logistik, Klassenlogik, Mehrwertige Logik, Quantenlogik,

Theontische Logik, Bolle Logik steht hier gar nicht dabei und so weiter mit diesen ganzen

Dingen und das unmögliche ist es sozusagen in einer Doppelstunde versuchen alles anzusprechen,

also wir versuchen es einfach und schauen wie weit wir kommen, es geht im Grunde heute nur

darum zu spüren regelrecht, was kann eigentlich die Logik leisten und was ist eigentlich nicht

logik, ja also typischerweise gibt es im Grunde ja wie soll man sagen typischerweise gibt es im

Grunde oft in der Umgangssprache ja das ist doch logisch also dass das so und nicht anders ist

diesen Hinweis aber ist es wirklich logisch die Frage ist was ist logik was kann logik leisten

und das wenn sie heute aus dieser Doppelstunde mitnehmen das wäre schon ganz fantastisch,

ja nächste Doppelstunde also in der neunten und letzten von mir direkt referierten Doppelstunde

werden wir uns dann noch exemplarisch ein bisschen mit der Rechtslogik befassen und ein bisschen die

ersten Schritte zur Programmierung in Java besprechen und vielleicht sogar eine triviale

automatisierte Prüfung eines Anspruchs nach 985 BGB mit Java ansehen wobei das wirklich sehr

trivial also das ein bisschen zum Ausblick was noch kommt die drei Gastreferenten die dann

9.7.16.7.23 auftreten eben Martin Kurze der ein Tool vorstellt in der Siemens Rechtsabteilung

das in der Siemens Rechtsabteilung eingesetzt wird und dann kommt eben das Bayerische Landesamt für

Steuern der Herr Hubertus Rust und hält uns einen Vortrag und zum Abschluss der Veranstaltung kommt

dann noch Dr. Tobias Wagner von der DATIF EG hier mit Hauptsitz in Nürnberg ja achte Stunde es geht

um die Grundzüge der Logik um ein Gefühl was kann Logik leisten was ist eigentlich Logik worum geht

es da und was sind die Grenzen sozusagen der Logik um dann später zu verstehen was wir vielleicht

mit Rechtslogik überlegen formalisieren können gut Logik was ist das eigentlich tja es geht

vielleicht um die formale Darstellung von Kausalitäten also von der Verbindung zwischen

Ursache und Wirkung diese Formalität sozusagen einer Kausalbeziehung kann in einer wenn dann

Aussage einem sogenannten konditional in der Logik zum Ausdruck gebracht werden in der Logik

formalisiert werden also wenn ich den Ball loslasse dann fällt er auf die Erde wenn dann und das

Entscheidende ist eben was man verstehen muss wir behaupten in der Logik nicht dass wir logisch

irgendwie jetzt sagen diese Aussage wenn ich den Ball loslasse ist wahr also ich lasse den Ball los

das ist wahr sondern was wir versuchen mit der Logik darzustellen ist den Zusammenhang im Formalen

zwischen x und y also wenn x dann y ob x ist oder nicht ist das ist noch mal eine ganz andere Frage

es geht sozusagen um die Struktur die sozusagen gültig sein soll also ich könnte sozusagen wie

in der Naturwissenschaft üblich solche kausalen Zusammenhänge von Phänomenen der Realität also

die Struktur dieser Zusammenhänge den Zusammenhang selbst formalisieren in Logik in einem konditional

zum Beispiel ich könnte aber was dann zum Beispiel für die Sprache interessant ist allgemein